
#include "SetsCarta.h"

/* Clause CONCRETE_CONSTANTS */
/* Basic constants */

/* Array and record constants */
/* Clause CONCRETE_VARIABLES */

/* Clause INITIALISATION */
void SetsCarta__INITIALISATION(void)
{
    
}

/* Clause OPERATIONS */

void SetsCarta__valorEmInteiroDaCarta(SetsCarta__valores valorDeUmaCarta, int32_t *rres)
{
    if(valorDeUmaCarta == SetsCarta__as)
    {
        (*rres) = 1;
    }
    else if(valorDeUmaCarta == SetsCarta__dois)
    {
        (*rres) = 2;
    }
    else if(valorDeUmaCarta == SetsCarta__tres)
    {
        (*rres) = 3;
    }
    else if(valorDeUmaCarta == SetsCarta__quatro)
    {
        (*rres) = 4;
    }
    else if(valorDeUmaCarta == SetsCarta__cinco)
    {
        (*rres) = 5;
    }
    else if(valorDeUmaCarta == SetsCarta__seis)
    {
        (*rres) = 6;
    }
    else if(valorDeUmaCarta == SetsCarta__sete)
    {
        (*rres) = 7;
    }
    else if(valorDeUmaCarta == SetsCarta__oito)
    {
        (*rres) = 8;
    }
    else if(valorDeUmaCarta == SetsCarta__nove)
    {
        (*rres) = 9;
    }
    else if(valorDeUmaCarta == SetsCarta__dez)
    {
        (*rres) = 10;
    }
    else if(valorDeUmaCarta == SetsCarta__valete)
    {
        (*rres) = 11;
    }
    else if(valorDeUmaCarta == SetsCarta__rainha)
    {
        (*rres) = 12;
    }
    else if(valorDeUmaCarta == SetsCarta__rei)
    {
        (*rres) = 13;
    }
    else
    {
        (*rres) = 1;
    }
}

